(0 20 2)(1 19 7)(3 16 14)(4 9 6)(5 18 17)(8 12 10)(11 15 13)
ALLOWS (11/8)-SEQUENCE
1: (2 17 20)
(0 20 5 18 17)(1 19 7)(2)(3 16 14)(4 9 6)(8 12 10)(11 15 13)
2: (1 19 7)
(0 20 5 18 17)(1)(2)(3 16 14)(4 9 6)(7)(8 12 10)(11 15 13)(19)
3: (5 18 20)
(0 20 17)(1)(2)(3 16 14)(4 9 6)(5)(7)(8 12 10)(11 15 13)(18)(19)
4: (4 9 6)
(0 20 17)(1)(2)(3 16 14)(4)(5)(6)(7)(8 12 10)(9)(11 15 13)(18)(19)